

from core.himesis import Himesis
import cPickle as pickle
from uuid import UUID

class HTransition2HListenBranch(Himesis):
    def __init__(self):
        """
        Creates the himesis graph representing the AToM3 model HTransition2HListenBranch.
        """
        # Flag this instance as compiled now
        self.is_compiled = True
        
        super(HTransition2HListenBranch, self).__init__(name='HTransition2HListenBranch', num_nodes=82, edges=[])
        
        # Add the edges
        self.add_edges([(8, 31), (31, 0), (0, 32), (32, 6), (6, 33), (33, 13), (8, 34), (34, 3), (3, 35), (35, 10), (14, 36), (36, 8), (15, 37), (37, 17), (17, 38), (38, 9), (9, 39), (39, 4), (9, 40), (40, 16), (16, 41), (41, 18), (18, 42), (42, 7), (49, 43), (43, 26), (50, 44), (44, 75), (51, 45), (45, 27), (52, 46), (46, 28), (53, 47), (47, 29), (54, 48), (48, 30), (17, 21), (21, 77), (4, 22), (22, 78), (15, 23), (23, 79), (18, 24), (24, 80), (7, 25), (25, 81), (62, 0), (2, 1), (1, 68), (1, 69), (1, 70), (1, 71), (1, 72), (1, 73), (1, 74), (5, 61), (61, 8), (5, 62), (5, 63), (63, 6), (5, 64), (64, 13), (5, 65), (65, 14), (5, 66), (66, 3), (5, 67), (67, 10), (10, 11), (11, 75), (14, 12), (12, 76), (19, 14), (5, 2), (68, 15), (15, 19), (72, 16), (71, 4), (49, 55), (50, 56), (51, 57), (52, 58), (53, 59), (54, 60), (69, 17), (70, 9), (73, 18), (74, 7), (7, 20), (20, 8), (55, 76), (56, 77), (57, 78), (58, 79), (59, 80), (60, 81)])
        # Set the graph attributes
        self["mm__"] = pickle.loads("""(lp1
S'UMLRT2Kiltera_MM'
p2
a.""")
        self["name"] = """Transition2HListenBranch"""
        self["GUID__"] = UUID('4ef6a9a3-5808-4c7a-ba63-6f01544e0f23')
        
        # Set the node attributes
        self.vs[0]["name"] = """vertex1"""
        self.vs[0]["classtype"] = """Vertex"""
        self.vs[0]["mm__"] = """Vertex"""
        self.vs[0]["cardinality"] = """+"""
        self.vs[0]["GUID__"] = UUID('6530e79d-798a-4047-8dab-098e99ac9b47')
        self.vs[1]["mm__"] = """ApplyModel"""
        self.vs[1]["GUID__"] = UUID('2e1853c2-828c-4394-9dd6-90786f556540')
        self.vs[2]["mm__"] = """paired_with"""
        self.vs[2]["GUID__"] = UUID('c19c22ab-bc7a-43ff-bbe9-772e94c5e0fd')
        self.vs[3]["name"] = """triggerS1"""
        self.vs[3]["classtype"] = """Trigger_S"""
        self.vs[3]["mm__"] = """Trigger_S"""
        self.vs[3]["cardinality"] = """1"""
        self.vs[3]["GUID__"] = UUID('a4d381c7-950a-482d-81fb-709aeb492acc')
        self.vs[4]["name"] = """triggerT1"""
        self.vs[4]["classtype"] = """Trigger_T"""
        self.vs[4]["mm__"] = """Trigger_T"""
        self.vs[4]["cardinality"] = """1"""
        self.vs[4]["GUID__"] = UUID('28ac9956-713c-4e8a-8245-451e1220c9b3')
        self.vs[5]["mm__"] = """MatchModel"""
        self.vs[5]["GUID__"] = UUID('4dfa9c3d-2ec9-4986-8651-d4a3daa611a8')
        self.vs[6]["name"] = """statemachine1"""
        self.vs[6]["classtype"] = """StateMachine"""
        self.vs[6]["mm__"] = """StateMachine"""
        self.vs[6]["cardinality"] = """+"""
        self.vs[6]["GUID__"] = UUID('ce216923-6feb-4423-b97b-92dea09815c0')
        self.vs[7]["name"] = """inst1"""
        self.vs[7]["classtype"] = """Inst"""
        self.vs[7]["mm__"] = """Inst"""
        self.vs[7]["cardinality"] = """1"""
        self.vs[7]["GUID__"] = UUID('5650d40d-2451-4297-81d7-e30f71890bf8')
        self.vs[8]["name"] = """transition1"""
        self.vs[8]["classtype"] = """Transition"""
        self.vs[8]["mm__"] = """Transition"""
        self.vs[8]["cardinality"] = """+"""
        self.vs[8]["GUID__"] = UUID('c4fb9394-a619-40a9-8610-734886ac623b')
        self.vs[9]["name"] = """seq1"""
        self.vs[9]["classtype"] = """Seq"""
        self.vs[9]["mm__"] = """Seq"""
        self.vs[9]["cardinality"] = """1"""
        self.vs[9]["GUID__"] = UUID('41f6456c-903c-4196-afbf-f3c7180b3b4b')
        self.vs[10]["name"] = """signal1"""
        self.vs[10]["classtype"] = """Signal"""
        self.vs[10]["mm__"] = """Signal"""
        self.vs[10]["cardinality"] = """1"""
        self.vs[10]["GUID__"] = UUID('9a8091f2-9f8e-4590-83d0-d66453b0334c')
        self.vs[11]["mm__"] = """hasAttribute_S"""
        self.vs[11]["GUID__"] = UUID('0208cdea-5948-49b1-90df-674564121bb4')
        self.vs[12]["mm__"] = """hasAttribute_S"""
        self.vs[12]["GUID__"] = UUID('c664580b-76d7-43fe-a19b-87956752ed88')
        self.vs[13]["name"] = """state1"""
        self.vs[13]["classtype"] = """State"""
        self.vs[13]["mm__"] = """State"""
        self.vs[13]["cardinality"] = """1"""
        self.vs[13]["GUID__"] = UUID('dce803c3-c076-408d-8484-90a4b6b11d6a')
        self.vs[14]["name"] = """state2"""
        self.vs[14]["classtype"] = """State"""
        self.vs[14]["mm__"] = """State"""
        self.vs[14]["cardinality"] = """+"""
        self.vs[14]["GUID__"] = UUID('ccb3bf82-7092-42d7-a871-695ee704864f')
        self.vs[15]["name"] = """listen1"""
        self.vs[15]["classtype"] = """Listen"""
        self.vs[15]["mm__"] = """Listen"""
        self.vs[15]["cardinality"] = """1"""
        self.vs[15]["GUID__"] = UUID('66092c25-5408-4937-9ea5-eea93b33d8b5')
        self.vs[16]["name"] = """listen2"""
        self.vs[16]["classtype"] = """Listen"""
        self.vs[16]["mm__"] = """Listen"""
        self.vs[16]["cardinality"] = """1"""
        self.vs[16]["GUID__"] = UUID('7aaf64af-2282-47c9-ae50-7709fa00aa3e')
        self.vs[17]["name"] = """listenbranch1"""
        self.vs[17]["classtype"] = """ListenBranch"""
        self.vs[17]["mm__"] = """ListenBranch"""
        self.vs[17]["cardinality"] = """1"""
        self.vs[17]["GUID__"] = UUID('c47a4d8b-7fe0-4dc8-9878-e729ee1ab130')
        self.vs[18]["name"] = """listenbranch2"""
        self.vs[18]["classtype"] = """ListenBranch"""
        self.vs[18]["mm__"] = """ListenBranch"""
        self.vs[18]["cardinality"] = """1"""
        self.vs[18]["GUID__"] = UUID('d6005302-a81e-4223-b9b9-863f30663ede')
        self.vs[19]["type"] = """ruleDef"""
        self.vs[19]["mm__"] = """backward_link"""
        self.vs[19]["GUID__"] = UUID('bd3c7b62-026b-4368-83da-dc2121930896')
        self.vs[20]["type"] = """ruleDef"""
        self.vs[20]["mm__"] = """backward_link"""
        self.vs[20]["GUID__"] = UUID('783b1b40-f12d-4e5f-9d12-0f1fc725a5bc')
        self.vs[21]["mm__"] = """hasAttribute_T"""
        self.vs[21]["GUID__"] = UUID('2da48511-7d43-43ba-baf5-a7feb48aa3d9')
        self.vs[22]["mm__"] = """hasAttribute_T"""
        self.vs[22]["GUID__"] = UUID('d954650e-a9e3-4260-91fb-ecd769e3c56b')
        self.vs[23]["mm__"] = """hasAttribute_T"""
        self.vs[23]["GUID__"] = UUID('ef4cd3c0-e504-4289-89f6-9f5723ba8bfd')
        self.vs[24]["mm__"] = """hasAttribute_T"""
        self.vs[24]["GUID__"] = UUID('f57becd7-77ff-4b76-9ecd-58b4527e26c9')
        self.vs[25]["mm__"] = """hasAttribute_T"""
        self.vs[25]["GUID__"] = UUID('6637389f-2f1e-4abe-8f39-5ebf65c65b4d')
        self.vs[26]["name"] = """true"""
        self.vs[26]["mm__"] = """Constant"""
        self.vs[26]["Type"] = """'Bool'"""
        self.vs[26]["GUID__"] = UUID('8f9a308a-42f0-4b28-a9f7-b3c1cfac11ea')
        self.vs[27]["name"] = """exit_in"""
        self.vs[27]["mm__"] = """Constant"""
        self.vs[27]["Type"] = """'String'"""
        self.vs[27]["GUID__"] = UUID('28466dc0-1d2f-4b08-bbf7-4dd4bceeb449')
        self.vs[28]["name"] = """listenhproc"""
        self.vs[28]["mm__"] = """Constant"""
        self.vs[28]["Type"] = """'String'"""
        self.vs[28]["GUID__"] = UUID('192a32c9-9244-42ec-b4ca-7315b3ae2fe2')
        self.vs[29]["name"] = """exack_in"""
        self.vs[29]["mm__"] = """Constant"""
        self.vs[29]["Type"] = """'String'"""
        self.vs[29]["GUID__"] = UUID('7401a6c9-f357-4bd3-8809-98c19cc9b3f2')
        self.vs[30]["name"] = """instfortrans"""
        self.vs[30]["mm__"] = """Constant"""
        self.vs[30]["Type"] = """'String'"""
        self.vs[30]["GUID__"] = UUID('634b8cb2-5d4b-4db8-b543-aa6217e81fd7')
        self.vs[31]["associationType"] = """src"""
        self.vs[31]["mm__"] = """directLink_S"""
        self.vs[31]["GUID__"] = UUID('2a92e9dd-48a8-4874-8f6a-c043f4830759')
        self.vs[32]["associationType"] = """owningStateMachine"""
        self.vs[32]["mm__"] = """directLink_S"""
        self.vs[32]["GUID__"] = UUID('93b4e26a-1b35-4aef-b96f-34d7a061b132')
        self.vs[33]["associationType"] = """states"""
        self.vs[33]["mm__"] = """directLink_S"""
        self.vs[33]["GUID__"] = UUID('49a0f5d1-2004-4c2e-8186-7cd589668317')
        self.vs[34]["associationType"] = """triggers"""
        self.vs[34]["mm__"] = """directLink_S"""
        self.vs[34]["GUID__"] = UUID('1d75c12c-028d-45e2-9256-80d38d5a26a9')
        self.vs[35]["associationType"] = """signal"""
        self.vs[35]["mm__"] = """directLink_S"""
        self.vs[35]["GUID__"] = UUID('0c8e9372-4190-469e-a612-24abeab866c2')
        self.vs[36]["associationType"] = """outgoingTransitions"""
        self.vs[36]["mm__"] = """directLink_S"""
        self.vs[36]["GUID__"] = UUID('4d32f38f-1a90-4ac1-a09c-a402d329418f')
        self.vs[37]["associationType"] = """branches"""
        self.vs[37]["mm__"] = """directLink_T"""
        self.vs[37]["GUID__"] = UUID('056254e6-2176-4f9a-bcef-3119afcafa18')
        self.vs[38]["associationType"] = """p"""
        self.vs[38]["mm__"] = """directLink_T"""
        self.vs[38]["GUID__"] = UUID('6747de2a-f3eb-42a6-808f-c96bb5e1d9f7')
        self.vs[39]["associationType"] = """p"""
        self.vs[39]["mm__"] = """directLink_T"""
        self.vs[39]["GUID__"] = UUID('ec9371e2-e0be-4b33-97ba-f4a0c4a35958')
        self.vs[40]["associationType"] = """p"""
        self.vs[40]["mm__"] = """directLink_T"""
        self.vs[40]["GUID__"] = UUID('91f36814-de90-490f-b7a9-4708d3ae9de6')
        self.vs[41]["associationType"] = """branches"""
        self.vs[41]["mm__"] = """directLink_T"""
        self.vs[41]["GUID__"] = UUID('1ba1a441-6832-4528-916a-93dffc93f1c4')
        self.vs[42]["associationType"] = """p"""
        self.vs[42]["mm__"] = """directLink_T"""
        self.vs[42]["GUID__"] = UUID('b43dbb34-02a4-4da1-99ab-da2fbaa7bdb8')
        self.vs[43]["mm__"] = """rightExpr"""
        self.vs[43]["GUID__"] = UUID('abc735e1-5f81-4d4b-bc36-7c0a6bf631b4')
        self.vs[44]["mm__"] = """rightExpr"""
        self.vs[44]["GUID__"] = UUID('46dbb3c4-01e0-490d-8963-aec642869dc7')
        self.vs[45]["mm__"] = """rightExpr"""
        self.vs[45]["GUID__"] = UUID('84c56f53-c037-4ba0-9bfd-f3964557501e')
        self.vs[46]["mm__"] = """rightExpr"""
        self.vs[46]["GUID__"] = UUID('8d775b7c-d904-49af-b863-52ecd53c7013')
        self.vs[47]["mm__"] = """rightExpr"""
        self.vs[47]["GUID__"] = UUID('c819c8f3-52fb-4e09-82ee-25e59c87f942')
        self.vs[48]["mm__"] = """rightExpr"""
        self.vs[48]["GUID__"] = UUID('5214c297-2a22-476d-b02f-6c7334e3500e')
        self.vs[49]["name"] = """eq1"""
        self.vs[49]["mm__"] = """Equation"""
        self.vs[49]["GUID__"] = UUID('8235fa14-9db2-4015-ac88-2c54dac3c1c6')
        self.vs[50]["name"] = """eq2"""
        self.vs[50]["mm__"] = """Equation"""
        self.vs[50]["GUID__"] = UUID('22c4a5dc-47f4-4720-bd7d-8d27e2eb5425')
        self.vs[51]["name"] = """eq3"""
        self.vs[51]["mm__"] = """Equation"""
        self.vs[51]["GUID__"] = UUID('2362297a-f20c-47b9-8d05-a39643566843')
        self.vs[52]["name"] = """eq4"""
        self.vs[52]["mm__"] = """Equation"""
        self.vs[52]["GUID__"] = UUID('74af90e3-d475-4436-a4b4-0538e3b25fb6')
        self.vs[53]["name"] = """eq5"""
        self.vs[53]["mm__"] = """Equation"""
        self.vs[53]["GUID__"] = UUID('58d91377-6b69-4258-b1e2-0178ea0ac00c')
        self.vs[54]["name"] = """eq6"""
        self.vs[54]["mm__"] = """Equation"""
        self.vs[54]["GUID__"] = UUID('eefe8d38-0874-4ba5-b7d0-f40097d3ff45')
        self.vs[55]["mm__"] = """leftExpr"""
        self.vs[55]["GUID__"] = UUID('7c636b47-32d6-41cc-a6b3-f55368d564a6')
        self.vs[56]["mm__"] = """leftExpr"""
        self.vs[56]["GUID__"] = UUID('52501c59-da6b-432b-9d55-53c49f87ce6e')
        self.vs[57]["mm__"] = """leftExpr"""
        self.vs[57]["GUID__"] = UUID('dc71f9fb-2fc7-417c-8a49-15f8e5818fa0')
        self.vs[58]["mm__"] = """leftExpr"""
        self.vs[58]["GUID__"] = UUID('c6fa173c-917d-47ec-a186-3937624e09d4')
        self.vs[59]["mm__"] = """leftExpr"""
        self.vs[59]["GUID__"] = UUID('a3bdf724-d3a8-4410-9d54-ac6405d64e54')
        self.vs[60]["mm__"] = """leftExpr"""
        self.vs[60]["GUID__"] = UUID('b2077cf4-923e-4894-be9d-ef769afc4b6b')
        self.vs[61]["mm__"] = """match_contains"""
        self.vs[61]["GUID__"] = UUID('e9b1cf2c-e28a-43d2-9fd2-6e8a7a50fb7e')
        self.vs[62]["mm__"] = """match_contains"""
        self.vs[62]["GUID__"] = UUID('9ff5b112-a10e-4ae0-8f55-3bfa01b7286a')
        self.vs[63]["mm__"] = """match_contains"""
        self.vs[63]["GUID__"] = UUID('268effad-923e-4211-b0c9-2f1cc42b2931')
        self.vs[64]["mm__"] = """match_contains"""
        self.vs[64]["GUID__"] = UUID('ec6e09c1-0a35-419a-ac76-ee5f04825f4a')
        self.vs[65]["mm__"] = """match_contains"""
        self.vs[65]["GUID__"] = UUID('298b7b40-911a-4454-a781-4c25fa13aa1c')
        self.vs[66]["mm__"] = """match_contains"""
        self.vs[66]["GUID__"] = UUID('f70159c4-0c3c-4073-8aa8-e6be91e97460')
        self.vs[67]["mm__"] = """match_contains"""
        self.vs[67]["GUID__"] = UUID('2933855d-a1d8-41df-9c52-7223c8e9159b')
        self.vs[68]["mm__"] = """apply_contains"""
        self.vs[68]["GUID__"] = UUID('8e99f1bd-7a4b-4848-a9cd-e8d5ad352079')
        self.vs[69]["mm__"] = """apply_contains"""
        self.vs[69]["GUID__"] = UUID('5c997b7a-9c4f-4cdc-8c5b-456ac244fa8f')
        self.vs[70]["mm__"] = """apply_contains"""
        self.vs[70]["GUID__"] = UUID('b7d629a8-bad4-4eab-bf75-b9173ed71fdd')
        self.vs[71]["mm__"] = """apply_contains"""
        self.vs[71]["GUID__"] = UUID('44803e1c-6efc-49ae-9331-ca9f487a2ef7')
        self.vs[72]["mm__"] = """apply_contains"""
        self.vs[72]["GUID__"] = UUID('2ef15083-4c52-4319-8660-1772d0f5ad7a')
        self.vs[73]["mm__"] = """apply_contains"""
        self.vs[73]["GUID__"] = UUID('8c3872ad-566c-4a3c-846d-27075a64fd3a')
        self.vs[74]["mm__"] = """apply_contains"""
        self.vs[74]["GUID__"] = UUID('135d3c76-748d-4a6d-8302-5043e9ebbfed')
        self.vs[75]["name"] = """name"""
        self.vs[75]["mm__"] = """Attribute"""
        self.vs[75]["Type"] = """'String'"""
        self.vs[75]["GUID__"] = UUID('c8583989-3b9d-4db3-9ca9-0fe201f8c128')
        self.vs[76]["name"] = """isComposite"""
        self.vs[76]["mm__"] = """Attribute"""
        self.vs[76]["Type"] = """'Bool'"""
        self.vs[76]["GUID__"] = UUID('8ac0457c-844f-4440-8bce-771daa744006')
        self.vs[77]["name"] = """channel"""
        self.vs[77]["mm__"] = """Attribute"""
        self.vs[77]["Type"] = """'String'"""
        self.vs[77]["GUID__"] = UUID('c07a5504-85a5-4dc3-9dd8-3082c3c80ad0')
        self.vs[78]["name"] = """channel"""
        self.vs[78]["mm__"] = """Attribute"""
        self.vs[78]["Type"] = """'String'"""
        self.vs[78]["GUID__"] = UUID('6fb22487-69b5-4d0c-85b5-eb6e733a487b')
        self.vs[79]["name"] = """pivotin"""
        self.vs[79]["mm__"] = """Attribute"""
        self.vs[79]["Type"] = """'String'"""
        self.vs[79]["GUID__"] = UUID('77133c73-4299-4018-9fba-31c5d780af2f')
        self.vs[80]["name"] = """channel"""
        self.vs[80]["mm__"] = """Attribute"""
        self.vs[80]["Type"] = """'String'"""
        self.vs[80]["GUID__"] = UUID('8ec315bd-b085-43d2-b47c-981a0f4af817')
        self.vs[81]["name"] = """pivotin"""
        self.vs[81]["mm__"] = """Attribute"""
        self.vs[81]["Type"] = """'String'"""
        self.vs[81]["GUID__"] = UUID('202a3436-f4f4-4716-abb9-f3a94d3ed56f')

